Clique problem, cutting plane proofs and communication complexity
نویسندگان
چکیده
منابع مشابه
Clique problem, cutting plane proofs and communication complexity
Motivated by its relation to the length of cutting plane proofs for the Maximum Biclique problem, we consider the following communication game on a given graph G, known to both players. Let K be the maximal number of vertices in a complete bipartite subgraph of G, which is not necessarily an induced subgraph if G is not bipartite. Alice gets a set a of vertices, and Bob gets a disjoint set b of...
متن کاملPropositional Proofs and Their Complexity -- Analytic Tableau, Resolution, Cutting-Plane
Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
متن کاملCutting plane and Frege proofs
The cutting plane refutation system CP for propositional logic is an extension of resolution and is based on showing the non-existence of solutions for families of integer linear inequalities. We deene the system CP + , a modiication of the cutting plane system, and show that CP + can polynomially simulate Frege systems F. In 8], it is shown that F polynomially simulates CP + , so both systems ...
متن کاملCutting-Plane Proofs in Polynomial Space
The integer programming problem is to decide if a given system of linear inequalities has an integral solution. Recent progress on this algorithmic question has involved techniques from the geometry of numbers, in the celebrated paper of Lenstra [20] and in results of Babai [1], Gr6tschel, Lovfisz and Schrijver [14] and Kannan [16]. One of the things that is apparent in these results is the imp...
متن کاملComplexity Analysis of Clique Problem
MAXIMUM CLIQUE PROBLEM the most relevant problem in Graph theory, known for years still do not have its polynomial time solution. Many algorithms have been proposed, still the problem lie the same i.e. to find the Clique in the polynomial time. The Clique problem is to figure out the sub graph with the maximum cardinality. Maximum clique in a random graph is NP-Hard problem, actuated by many pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2012
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2012.07.003